home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / lplain.tex < prev    next >
Text File  |  1987-07-18  |  46KB  |  1,314 lines
  1. % File LPLAIN - Created 29 October 1985 from plain version 1.5CM
  2. %             - Last modified 13 October 1986.
  3. %
  4. % 
  5. % This is the LaTeX version of the plain TeX format that's described in 
  6. % The TeXbook.  All modifications can be found by searching for
  7. % the word 'LaTeX'.
  8. % N.B.: A version number is defined at the very end of this file;
  9. %       please change that number whenever the file is modified!
  10. % And don't modify the file under any circumstances.
  11.  
  12. \catcode`\{=1 % left brace is begin-group character
  13. \catcode`\}=2 % right brace is end-group character
  14. \catcode`\$=3 % dollar sign is math shift
  15. \catcode`\&=4 % ampersand is alignment tab
  16. \catcode`\#=6 % hash mark is macro parameter character
  17. \catcode`\^=7 \catcode`\^^K=7 % circumflex and uparrow are for superscripts
  18. \catcode`\_=8 \catcode`\^^A=8 % underline and downarrow are for subscripts
  19. \catcode`\^^I=10 % ascii tab is a blank space
  20. \chardef\active=13 \catcode`\~=\active % tilde is active
  21. \catcode`\^^L=\active \outer\def^^L{\par} % ascii form-feed is "\outer\par"
  22.  
  23. \message{Preloading the plain format: codes,}
  24.  
  25. % We had to define the \catcodes right away, before the message line,
  26. % since \message uses the { and } characters.
  27. % When INITEX (the TeX initializer) starts up,
  28. % it has defined the following \catcode values:
  29. % \catcode`\^^@=9 % ascii null is ignored
  30. % \catcode`\^^M=5 % ascii return is end-line
  31. % \catcode`\\=0 % backslash is TeX escape character
  32. % \catcode`\%=14 % percent sign is comment character
  33. % \catcode`\ =10 % ascii space is blank space
  34. % \catcode`\^^?=15 % ascii delete is invalid
  35. % \catcode`\A=11 ... \catcode`\Z=11 % uppercase letters
  36. % \catcode`\a=11 ... \catcode`\z=11 % lowercase letters
  37. % all others are type 12 (other)
  38.  
  39. % Here is a list of the characters that have been specially catcoded:
  40. \def\dospecials{\do\ \do\\\do\{\do\}\do\$\do\&%
  41.   \do\#\do\^\do\^^K\do\_\do\^^A\do\%\do\~}
  42. % (not counting ascii null, tab, linefeed, formfeed, return, delete)
  43. % Each symbol in the list is preceded by \do, which can be defined
  44. % if you want to do something to every item in the list.
  45.  
  46. % We make @ signs act like letters, temporarily, to avoid conflict
  47. % between user names and internal control sequences of plain format.
  48. \catcode`@=11
  49.  
  50. % INITEX sets up \mathcode x=x, for x=0..127, except that
  51. % \mathcode x=x+"7100, for x = `A to `Z and `a to `z;
  52. % \mathcode x=x+"7000, for x = `0 to `9.
  53. % The following changes define internal codes as recommended
  54. % in Appendix C of The TeXbook:
  55. \mathcode`\^^@="2201 % \cdot
  56. \mathcode`\^^A="3223 % \downarrow
  57. \mathcode`\^^B="010B % \alpha
  58. \mathcode`\^^C="010C % \beta
  59. \mathcode`\^^D="225E % \land
  60. \mathcode`\^^E="023A % \lnot
  61. \mathcode`\^^F="3232 % \in
  62. \mathcode`\^^G="0119 % \pi
  63. \mathcode`\^^H="0115 % \lambda
  64. \mathcode`\^^I="010D % \gamma
  65. \mathcode`\^^J="010E % \delta
  66. \mathcode`\^^K="3222 % \uparrow
  67. \mathcode`\^^L="2206 % \pm
  68. \mathcode`\^^M="2208 % \oplus
  69. \mathcode`\^^N="0231 % \infty
  70. \mathcode`\^^O="0140 % \partial
  71. \mathcode`\^^P="321A % \subset
  72. \mathcode`\^^Q="321B % \supset
  73. \mathcode`\^^R="225C % \cap
  74. \mathcode`\^^S="225B % \cup
  75. \mathcode`\^^T="0238 % \forall
  76. \mathcode`\^^U="0239 % \exists
  77. \mathcode`\^^V="220A % \otimes
  78. \mathcode`\^^W="3224 % \leftrightarrow
  79. \mathcode`\^^X="3220 % \leftarrow
  80. \mathcode`\^^Y="3221 % \rightarrow
  81. \mathcode`\^^Z="8000 % \ne
  82. \mathcode`\^^[="2205 % \diamond
  83. \mathcode`\^^\="3214 % \le
  84. \mathcode`\^^]="3215 % \ge
  85. \mathcode`\^^^="3211 % \equiv
  86. \mathcode`\^^_="225F % \lor
  87. \mathcode`\ ="8000 % \space
  88. \mathcode`\!="5021
  89. \mathcode`\'="8000 % ^\prime
  90. \mathcode`\(="4028
  91. \mathcode`\)="5029
  92. \mathcode`\*="2203 % \ast
  93. \mathcode`\+="202B
  94. \mathcode`\,="613B
  95. \mathcode`\-="2200
  96. \mathcode`\.="013A
  97. \mathcode`\/="013D
  98. \mathcode`\:="303A
  99. \mathcode`\;="603B
  100. \mathcode`\<="313C
  101. \mathcode`\=="303D
  102. \mathcode`\>="313E
  103. \mathcode`\?="503F
  104. \mathcode`\[="405B
  105. \mathcode`\\="026E % \backslash
  106. \mathcode`\]="505D
  107. \mathcode`\_="8000 % \_
  108. \mathcode`\{="4266
  109. \mathcode`\|="026A
  110. \mathcode`\}="5267
  111. \mathcode`\^^?="1273 % \smallint
  112.  
  113. % INITEX sets \uccode`x=`X and \uccode `X=`X for all letters x,
  114. % and \lccode`x=`x, \lccode`X=`x; all other values are zero.
  115. % No changes to those tables are needed in plain TeX format.
  116.  
  117. % INITEX sets \sfcode x=1000 for all x, except that \sfcode`X=999
  118. % for uppercase letters. The following changes are needed:
  119. \sfcode`\)=0 \sfcode`\'=0 \sfcode`\]=0
  120. % The \nonfrenchspacing macro will make further changes to \sfcode values.
  121.  
  122. % Finally, INITEX sets all \delcode values to -1, except \delcode`.=0
  123. \delcode`\(="028300
  124. \delcode`\)="029301
  125. \delcode`\[="05B302
  126. \delcode`\]="05D303
  127. \delcode`\<="26830A
  128. \delcode`\>="26930B
  129. \delcode`\/="02F30E
  130. \delcode`\|="26A30C
  131. \delcode`\\="26E30F
  132. % N.B. { and } should NOT get delcodes; otherwise parameter grouping fails!
  133.  
  134. % To make the plain macros more efficient in time and space,
  135. % several constant values are declared here as control sequences.
  136. % If they were changed, anything could happen; so they are private symbols.
  137. \chardef\@ne=1
  138. \chardef\tw@=2
  139. \chardef\thr@@=3
  140. \chardef\sixt@@n=16
  141. \chardef\@cclv=255
  142. \mathchardef\@cclvi=256
  143. \mathchardef\@m=1000
  144. \mathchardef\@M=10000
  145. \mathchardef\@MM=20000
  146.  
  147. % Allocation of registers
  148.  
  149. % Here are macros for the automatic allocation of \count, \box, \dimen,
  150. % \skip, \muskip, and \toks registers, as well as \read and \write
  151. % stream numbers, \fam codes, and \insert numbers.
  152.  
  153. \message{registers,}
  154.  
  155. % When a register is used only temporarily, it need not be allocated;
  156. % grouping can be used, making the value previously in the register return
  157. % after the close of the group.  The main use of these macros is for
  158. % registers that are defined by one macro and used by others, possibly at
  159. % different nesting levels.  All such registers should be defined through
  160. % these macros; otherwise conflicts may occur, especially when two or more
  161. % more macro packages are being used at once.
  162.  
  163. % The following counters are reserved:
  164. %   0 to 9  page numbering
  165. %       10  count allocation
  166. %       11  dimen allocation
  167. %       12  skip allocation
  168. %       13  muskip allocation
  169. %       14  box allocation
  170. %       15  toks allocation
  171. %       16  read file allocation
  172. %       17  write file allocation
  173. %       18  math family allocation
  174. %       19  insert allocation
  175. %       20  the most recently allocated number
  176. %       21  constant -1
  177. % New counters are allocated starting with 22, 23, etc.  Other registers are
  178. % allocated starting with 10.  This leaves 0 through 9 for the user to play
  179. % with safely, except that counts 0 to 9 are considered to be the page and
  180. % subpage numbers (since they are displayed during output). In this scheme,
  181. % \count 10 always contains the number of the highest-numbered counter that
  182. % has been allocated, \count 14 the highest-numbered box, etc.
  183. % Inserts are given numbers 254, 253, etc., since they require a \count,
  184. % \dimen, \skip, and \box all with the same number; \count 19 contains the
  185. % lowest-numbered insert that has been allocated. Of course, \box255 is
  186. % reserved for \output; \count255, \dimen255, and \skip255 can be used freely.
  187.  
  188. % It is recommends that macro designers always use
  189. % \global assignments with respect to registers numbered 1, 3, 5, 7, 9, and
  190. % always non-\global assignments with respect to registers 0, 2, 4, 6, 8, 255.
  191. % This will prevent ``save stack buildup'' that might otherwise occur.
  192.  
  193. \count10=21 % allocates \count registers 22, 23, ...
  194. \count11=9 % allocates \dimen registers 10, 11, ...
  195. \count12=9 % allocates \skip registers 10, 11, ...
  196. \count13=9 % allocates \muskip registers 10, 11, ...
  197. \count14=9 % allocates \box registers 10, 11, ...
  198. \count15=9 % allocates \toks registers 10, 11, ...
  199. \count16=-1 % allocates input streams 0, 1, ...
  200. \count17=-1 % allocates output streams 0, 1, ...
  201. \count18=3 % allocates math families 4, 5, ...
  202. \count19=255 % allocates insertions 254, 253, ...
  203. \countdef\insc@unt=19 % the insertion counter
  204. \countdef\allocationnumber=20 % the most recent allocation
  205. \countdef\m@ne=21 \m@ne=-1 % a handy constant
  206. \def\wlog{\immediate\write\m@ne} % write on log file (only)
  207.  
  208. % Here are abbreviations for the names of scratch registers
  209. % that don't need to be allocated.
  210.  
  211. \countdef\count@=255
  212. \dimendef\dimen@=0
  213. \dimendef\dimen@i=1 % global only
  214. \dimendef\dimen@ii=2
  215. \skipdef\skip@=0
  216. \toksdef\toks@=0
  217.  
  218. % Now, we define \newcount, \newbox, etc. so that you can say \newcount\foo
  219. % and \foo will be defined (with \countdef) to be the next counter.
  220. % To find out which counter \foo is, you can look at \allocationnumber.
  221. % Since there's no \boxdef command, \chardef is used to define a \newbox,
  222. % \newinsert, \newfam, and so on.
  223.  
  224. \outer\def\newcount{\alloc@0\count\countdef\insc@unt}
  225. \outer\def\newdimen{\alloc@1\dimen\dimendef\insc@unt}
  226. \outer\def\newskip{\alloc@2\skip\skipdef\insc@unt}
  227. \outer\def\newmuskip{\alloc@3\muskip\muskipdef\@cclvi}
  228. \outer\def\newbox{\alloc@4\box\chardef\insc@unt}
  229. \let\newtoks=\relax % we do this to allow plain.tex to be read in twice
  230. \outer\def\newhelp#1#2{\newtoks#1#1\expandafter{\csname#2\endcsname}}
  231. \outer\def\newtoks{\alloc@5\toks\toksdef\@cclvi}
  232. \outer\def\newread{\alloc@6\read\chardef\sixt@@n}
  233. \outer\def\newwrite{\alloc@7\write\chardef\sixt@@n}
  234. \outer\def\newfam{\alloc@8\fam\chardef\sixt@@n}
  235. \def\alloc@#1#2#3#4#5{\global\advance\count1#1by\@ne
  236.   \ch@ck#1#4#2% make sure there's still room
  237.   \allocationnumber=\count1#1%
  238.   \global#3#5=\allocationnumber
  239.   \wlog{\string#5=\string#2\the\allocationnumber}}
  240. \outer\def\newinsert#1{\global\advance\insc@unt by\m@ne
  241.   \ch@ck0\insc@unt\count
  242.   \ch@ck1\insc@unt\dimen
  243.   \ch@ck2\insc@unt\skip
  244.   \ch@ck4\insc@unt\box
  245.   \allocationnumber=\insc@unt
  246.   \global\chardef#1=\allocationnumber
  247.   \wlog{\string#1=\string\insert\the\allocationnumber}}
  248. \def\ch@ck#1#2#3{\ifnum\count1#1<#2%
  249.   \else\errmessage{No room for a new #3}\fi}
  250.  
  251. % Here are some examples of allocation.
  252. \newdimen\maxdimen \maxdimen=16383.99999pt % the largest legal <dimen>
  253. \newskip\hideskip \hideskip=-1000pt plus 1fill % negative but can grow
  254.  
  255. % LaTeX change: the PLAIN \centering dimension conflicts with
  256. % LaTeX's \centering command, so it is redefined to \@centering.
  257. % This dimension is used by LaTeX.
  258.  
  259. \newskip\@centering \@centering=0pt plus 1000pt minus 1000pt
  260.  
  261. \newdimen\p@ \p@=1pt % this saves macro space and time
  262. \newdimen\z@ \z@=0pt % can be used both for 0pt and 0
  263. \newskip\z@skip \z@skip=0pt plus0pt minus0pt
  264. \newbox\voidb@x % permanently void box register
  265.  
  266. % And here's a different sort of allocation:
  267. % For example, \newif\iffoo creates \footrue, \foofalse to go with \iffoo.
  268. \outer\def\newif#1{\count@\escapechar \escapechar\m@ne
  269.   \expandafter\expandafter\expandafter
  270.    \edef\@if#1{true}{\let\noexpand#1=\noexpand\iftrue}%
  271.   \expandafter\expandafter\expandafter
  272.    \edef\@if#1{false}{\let\noexpand#1=\noexpand\iffalse}%
  273.   \@if#1{false}\escapechar\count@} % the condition starts out false
  274. \def\@if#1#2{\csname\expandafter\if@\string#1#2\endcsname}
  275. {\uccode`1=`i \uccode`2=`f \uppercase{\gdef\if@12{}}} % `if' is required
  276.  
  277. % Assign initial values to TeX's parameters
  278.  
  279. \message{parameters,}
  280.  
  281. % All of TeX's numeric parameters are listed here,
  282. % but the code is commented out if no special value needs to be set.
  283. % INITEX makes all parameters zero except where noted.
  284.  
  285. \pretolerance=100
  286. \tolerance=200 % INITEX sets this to 10000
  287. \hbadness=1000
  288. \vbadness=1000
  289. \linepenalty=10
  290. \hyphenpenalty=50
  291. \exhyphenpenalty=50
  292. \binoppenalty=700
  293. \relpenalty=500
  294. \clubpenalty=150
  295. \widowpenalty=150
  296. \displaywidowpenalty=50
  297. \brokenpenalty=100
  298. \predisplaypenalty=10000
  299. % \postdisplaypenalty=0
  300. % \interlinepenalty=0
  301. % \floatingpenalty=0, set during \insert
  302. % \outputpenalty=0, set before TeX enters \output
  303. \doublehyphendemerits=10000
  304. \finalhyphendemerits=5000
  305. \adjdemerits=10000
  306. % \looseness=0, cleared by TeX after each paragraph
  307. % \pausing=0
  308. % \tracingonline=0
  309. % \tracingmacros=0
  310. % \tracingstats=0
  311. % \tracingparagraphs=0
  312. % \tracingpages=0
  313. % \tracingoutput=0
  314. \tracinglostchars=1
  315. % \tracingcommands=0
  316. % \tracingrestores=0
  317. \uchyph=1
  318. % \globaldefs=0
  319. % \maxdeadcycles=25 % INITEX does this
  320. % \hangafter=1 % INITEX does this, also TeX after each paragraph
  321. % \fam=0
  322. % \mag=1000 % INITEX does this
  323. % \escapechar=`\\ % INITEX does this
  324. \defaulthyphenchar=`\-
  325. \defaultskewchar=-1
  326. % \endlinechar=`\^^M % INITEX does this
  327. \newlinechar=-1
  328. \delimiterfactor=901
  329. % \time=now % TeX does this at beginning of job
  330. % \day=now % TeX does this at beginning of job
  331. % \month=now % TeX does this at beginning of job
  332. % \year=now % TeX does this at beginning of job
  333. \showboxbreadth=5
  334. \showboxdepth=3
  335.  
  336. \hfuzz=0.1pt
  337. \vfuzz=0.1pt
  338. \overfullrule=5pt
  339. \hsize=6.5in
  340. \vsize=8.9in
  341. \maxdepth=4pt
  342. \splitmaxdepth=\maxdimen
  343. \boxmaxdepth=\maxdimen
  344. % \lineskiplimit=0pt, changed by \normalbaselines
  345. \delimitershortfall=5pt
  346. \nulldelimiterspace=1.2pt
  347. \scriptspace=0.5pt
  348. % \mathsurround=0pt
  349. % \predisplaysize=0pt, set before TeX enters $$
  350. % \displaywidth=0pt, set before TeX enters $$
  351. % \displayindent=0pt, set before TeX enters $$
  352. \parindent=20pt
  353. % \hangindent=0pt, zeroed by TeX after each paragraph
  354. % \hoffset=0pt
  355. % \voffset=0pt
  356.  
  357. % \baselineskip=0pt, changed by \normalbaselines
  358. % \lineskip=0pt, changed by \normalbaselines
  359. \parskip=0pt plus 1pt
  360. \abovedisplayskip=12pt plus 3pt minus 9pt
  361. \abovedisplayshortskip=0pt plus 3pt
  362. \belowdisplayskip=12pt plus 3pt minus 9pt
  363. \belowdisplayshortskip=7pt plus 3pt minus 4pt
  364. % \leftskip=0pt
  365. % \rightskip=0pt
  366. \topskip=10pt
  367. \splittopskip=10pt
  368. % \tabskip=0pt
  369. % \spaceskip=0pt
  370. % \xspaceskip=0pt
  371. \parfillskip=0pt plus 1fil
  372.  
  373. \thinmuskip=3mu
  374. \medmuskip=4mu plus 2mu minus 4mu
  375. \thickmuskip=5mu plus 5mu
  376.  
  377. % We also define special registers that function like parameters:
  378. \newskip\smallskipamount \smallskipamount=3pt plus 1pt minus 1pt
  379. \newskip\medskipamount \medskipamount=6pt plus 2pt minus 2pt
  380. \newskip\bigskipamount \bigskipamount=12pt plus 4pt minus 4pt
  381. \newskip\normalbaselineskip \normalbaselineskip=12pt
  382. \newskip\normallineskip \normallineskip=1pt
  383. \newdimen\normallineskiplimit \normallineskiplimit=0pt
  384. \newdimen\jot \jot=3pt
  385. \newcount\interdisplaylinepenalty \interdisplaylinepenalty=100
  386. \newcount\interfootnotelinepenalty \interfootnotelinepenalty=100
  387.  
  388. % Definitions for preloaded fonts
  389.  
  390. \def\magstephalf{1095 }
  391. \def\magstep#1{\ifcase#1 \@m\or 1200\or 1440\or 1728\or 2074\or 2488\fi\relax}
  392.  
  393. % Fonts assigned to \preloaded are not part of "plain TeX",
  394. % but they are preloaded so that other format packages can use them.
  395. % For example, if another set of macros says "\font\ninerm=cmr9",
  396. % TeX will not have to reload the font metric information for cmr9.
  397.  
  398. % LaTeX font definitions are taken from the file LFONTS.TEX,
  399. % so all of PLAIN's font definitions are commented out.
  400.  
  401. %\message{fonts,}
  402. %
  403. %\font\tenrm=cmr10 % roman text
  404. %\font\preloaded=cmr9
  405. %\font\preloaded=cmr8
  406. %\font\sevenrm=cmr7
  407. %\font\preloaded=cmr6
  408. %\font\fiverm=cmr5
  409. %
  410. %\font\teni=cmmi10 % math italic
  411. %\font\preloaded=cmmi9
  412. %\font\preloaded=cmmi8
  413. %\font\seveni=cmmi7
  414. %\font\preloaded=cmmi6
  415. %\font\fivei=cmmi5
  416. %
  417. %\font\tensy=cmsy10 % math symbols
  418. %\font\preloaded=cmsy9
  419. %\font\preloaded=cmsy8
  420. %\font\sevensy=cmsy7
  421. %\font\preloaded=cmsy6
  422. %\font\fivesy=cmsy5
  423. %
  424. %\font\tenex=cmex10 % math extension
  425. %
  426. %\font\preloaded=cmss10 % sans serif
  427. %\font\preloaded=cmssq8
  428. %
  429. %\font\preloaded=cmssi10 % sans serif italic
  430. %\font\preloaded=cmssqi8
  431. %
  432. %\font\tenbf=cmbx10 % boldface extended
  433. %\font\preloaded=cmbx9
  434. %\font\preloaded=cmbx8
  435. %\font\sevenbf=cmbx7
  436. %\font\preloaded=cmbx6
  437. %\font\fivebf=cmbx5
  438. %
  439. %\font\tentt=cmtt10 % typewriter
  440. %\font\preloaded=cmtt9
  441. %\font\preloaded=cmtt8
  442. %
  443. %\font\preloaded=cmsltt10 % slanted typewriter
  444. %
  445. %\font\tensl=cmsl10 % slanted roman
  446. %\font\preloaded=cmsl9
  447. %\font\preloaded=cmsl8
  448. %
  449. %\font\tenit=cmti10 % text italic
  450. %\font\preloaded=cmti9
  451. %\font\preloaded=cmti8
  452. %\font\preloaded=cmti7
  453. %
  454. %\message{more fonts,}
  455. %\font\preloaded=cmu10 % unslanted text italic
  456. %
  457. %\font\preloaded=cmmib10 % bold math italic
  458. %\font\preloaded=cmbsy10 % bold math symbols
  459. %
  460. %\font\preloaded=cmcsc10 % caps and small caps
  461. %
  462. %\font\preloaded=cmssbx10 % sans serif bold extended
  463. %
  464. %\font\preloaded=cmdunh10 % Dunhill style
  465. %
  466. %\font\preloaded=cmr7 scaled \magstep4 % for titles
  467. %\font\preloaded=cmtt10 scaled \magstep2
  468. %\font\preloaded=cmssbx10 scaled \magstep2
  469. %
  470. %\font\preloaded=manfnt % METAFONT logo and dragon curve and special symbols
  471. %
  472. %% Additional \preloaded fonts can be specified here.
  473. %% (And those that were \preloaded above can be eliminated.)
  474. %
  475. %\let\preloaded=\undefined % preloaded fonts must be declared anew later.
  476. %
  477. %\skewchar\teni='177 \skewchar\seveni='177 \skewchar\fivei='177
  478. %\skewchar\tensy='60 \skewchar\sevensy='60 \skewchar\fivesy='60
  479. %
  480. %\textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
  481. %\def\rm{\fam\z@\tenrm}
  482. %\textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei
  483. %\def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\teni}
  484. %\textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
  485. %\def\cal{\fam\tw@}
  486. %\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
  487. %\newfam\itfam \def\it{\fam\itfam\tenit} % \it is family 4
  488. %\textfont\itfam=\tenit
  489. %\newfam\slfam \def\sl{\fam\slfam\tensl} % \sl is family 5
  490. %\textfont\slfam=\tensl
  491. %\newfam\bffam \def\bf{\fam\bffam\tenbf} % \bf is family 6
  492. %\textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf
  493. %\scriptscriptfont\bffam=\fivebf
  494. %\newfam\ttfam \def\tt{\fam\ttfam\tentt} % \tt is family 7
  495. %\textfont\ttfam=\tentt
  496.  
  497. % Macros for setting ordinary text
  498. \message{macros,}
  499.  
  500. \def\frenchspacing{\sfcode`\.\@m \sfcode`\?\@m \sfcode`\!\@m
  501.   \sfcode`\:\@m \sfcode`\;\@m \sfcode`\,\@m}
  502. \def\nonfrenchspacing{\sfcode`\.3000\sfcode`\?3000\sfcode`\!3000%
  503.   \sfcode`\:2000\sfcode`\;1500\sfcode`\,1250 }
  504.  
  505. \def\normalbaselines{\lineskip\normallineskip
  506.   \baselineskip\normalbaselineskip \lineskiplimit\normallineskiplimit}
  507.  
  508. \def\^^M{\ } % control <return> = control <space>
  509. \def\^^I{\ } % same for <tab>
  510.  
  511. \def\lq{`} \def\rq{'}
  512. \def\lbrack{[} \def\rbrack{]}
  513.  
  514. \let\endgraf=\par \let\endline=\cr
  515.  
  516. \def\space{ }
  517. \def\empty{}
  518. \def\null{\hbox{}}
  519.  
  520. \let\bgroup={ \let\egroup=}
  521.  
  522. % In \obeylines, we say `\let^^M=\par' instead of `\def^^M{\par}'
  523. % since this allows, for example, `\let\par=\cr \obeylines \halign{...'
  524. {\catcode`\^^M=\active % these lines must end with %
  525.   \gdef\obeylines{\catcode`\^^M\active \let^^M\par}%
  526.   \global\let^^M\par} % this is in case ^^M appears in a \write
  527. \def\obeyspaces{\catcode`\ \active}
  528. {\obeyspaces\global\let =\space}
  529.  
  530. \def\loop#1\repeat{\def\body{#1}\iterate}
  531. \def\iterate{\body \let\next\iterate \else\let\next\relax\fi \next}
  532. \let\repeat=\fi % this makes \loop...\if...\repeat skippable
  533.  
  534. \def\thinspace{\kern .16667em }
  535. \def\negthinspace{\kern-.16667em }
  536. \def\enspace{\kern.5em }
  537.  
  538. \def\enskip{\hskip.5em\relax}
  539. \def\quad{\hskip1em\relax}
  540. \def\qquad{\hskip2em\relax}
  541.  
  542. \def\smallskip{\vskip\smallskipamount}
  543. \def\medskip{\vskip\medskipamount}
  544. \def\bigskip{\vskip\bigskipamount}
  545.  
  546. \def\nointerlineskip{\prevdepth-1000\p@}
  547. \def\offinterlineskip{\baselineskip-1000\p@
  548.   \lineskip\z@ \lineskiplimit\maxdimen}
  549.  
  550. \def\vglue{\afterassignment\vgl@\skip@=}
  551. \def\vgl@{\par \dimen@\prevdepth \hrule height\z@
  552.   \nobreak\vskip\skip@ \prevdepth\dimen@}
  553. \def\hglue{\afterassignment\hgl@\skip@=}
  554. \def\hgl@{\leavevmode \count@\spacefactor \vrule width\z@
  555.   \nobreak\hskip\skip@ \spacefactor\count@}
  556.  
  557. \def~{\penalty\@M \ } % tie
  558. \def\slash{/\penalty\exhyphenpenalty} % a `/' that acts like a `-'
  559.  
  560. \def\break{\penalty-\@M}
  561. \def\nobreak{\penalty \@M}
  562. \def\allowbreak{\penalty \z@}
  563.  
  564. \def\filbreak{\par\vfil\penalty-200\vfilneg}
  565. \def\goodbreak{\par\penalty-500 }
  566. \def\eject{\par\break}
  567. \def\supereject{\par\penalty-\@MM}
  568.  
  569. \def\removelastskip{\ifdim\lastskip=\z@\else\vskip-\lastskip\fi}
  570. \def\smallbreak{\par\ifdim\lastskip<\smallskipamount
  571.   \removelastskip\penalty-50\smallskip\fi}
  572. \def\medbreak{\par\ifdim\lastskip<\medskipamount
  573.   \removelastskip\penalty-100\medskip\fi}
  574. \def\bigbreak{\par\ifdim\lastskip<\bigskipamount
  575.   \removelastskip\penalty-200\bigskip\fi}
  576.  
  577. % \line changed to \@@line because LaTeX redefines \line
  578. \def\@@line{\hbox to\hsize}
  579. \def\leftline#1{\@@line{#1\hss}}
  580. \def\rightline#1{\@@line{\hss#1}}
  581. \def\centerline#1{\@@line{\hss#1\hss}}
  582. % end of LaTeX \line -> \@@line change
  583.  
  584. \def\rlap#1{\hbox to\z@{#1\hss}}
  585. \def\llap#1{\hbox to\z@{\hss#1}}
  586.  
  587. \def\m@th{\mathsurround=\z@}
  588. \def\underbar#1{$\setbox\z@\hbox{#1}\dp\z@\z@
  589.   \m@th \underline{\box\z@}$}
  590.  
  591. \newbox\strutbox
  592. \setbox\strutbox=\hbox{\vrule height8.5pt depth3.5pt width\z@}
  593. \def\strut{\relax\ifmmode\copy\strutbox\else\unhcopy\strutbox\fi}
  594.  
  595. \def\hidewidth{\hskip\hideskip} % for alignment entries that can stick out
  596. \def\ialign{\everycr{}\tabskip\z@skip\halign} % initialized \halign
  597. \newcount\mscount
  598. \def\multispan#1{\omit \mscount#1
  599.   \loop\ifnum\mscount>\@ne \sp@n\repeat}
  600. \def\sp@n{\span\omit\advance\mscount\m@ne}
  601.  
  602. % LaTeX has its own tabbing environment, so PLAIN's is disabled.
  603. %
  604. %\newif\ifus@ \newif\if@cr
  605. %\newbox\tabs \newbox\tabsyet \newbox\tabsdone
  606. %
  607. %\def\cleartabs{\global\setbox\tabsyet\null \setbox\tabs\null}
  608. %\def\settabs{\setbox\tabs\null \futurelet\next\sett@b}
  609. %\let\+=\relax % in case this file is being read in twice
  610. %\def\sett@b{\ifx\next\+\let\next\relax
  611. %    \def\next{\afterassignment\s@tt@b\let\next}%
  612. %  \else\let\next\s@tcols\fi\next}
  613. %\def\s@tt@b{\let\next\relax\us@false\m@ketabbox}
  614. %\def\tabalign{\us@true\m@ketabbox} % non-\outer version of \+
  615. %\outer\def\+{\tabalign}
  616. %\def\s@tcols#1\columns{\count@#1 \dimen@\hsize
  617. %  \loop\ifnum\count@>\z@ \@nother \repeat}
  618. %\def\@nother{\dimen@ii\dimen@ \divide\dimen@ii\count@
  619. %  \setbox\tabs\hbox{\hbox to\dimen@ii{}\unhbox\tabs}%
  620. %  \advance\dimen@-\dimen@ii \advance\count@\m@ne}
  621. %
  622. %\def\m@ketabbox{\begingroup
  623. %  \global\setbox\tabsyet\copy\tabs
  624. %  \global\setbox\tabsdone\null
  625. %  \def\cr{\@crtrue\crcr\egroup\egroup
  626. %    \ifus@\unvbox\z@\lastbox\fi\endgroup
  627. %    \setbox\tabs\hbox{\unhbox\tabsyet\unhbox\tabsdone}}%
  628. %  \setbox\z@\vbox\bgroup\@crfalse
  629. %    \ialign\bgroup&\t@bbox##\t@bb@x\crcr}
  630. %
  631. %\def\t@bbox{\setbox\z@\hbox\bgroup}
  632. %\def\t@bb@x{\if@cr\egroup % now \box\z@ holds the column
  633. %  \else\hss\egroup \global\setbox\tabsyet\hbox{\unhbox\tabsyet
  634. %      \global\setbox\@ne\lastbox}% now \box\@ne holds its size
  635. %    \ifvoid\@ne\global\setbox\@ne\hbox to\wd\z@{}%
  636. %    \else\setbox\z@\hbox to\wd\@ne{\unhbox\z@}\fi
  637. %    \global\setbox\tabsdone\hbox{\box\@ne\unhbox\tabsdone}\fi
  638. %  \box\z@}
  639.  
  640. \def\hang{\hangindent\parindent}
  641. \def\textindent#1{\indent\llap{#1\enspace}\ignorespaces}
  642. \def\item{\par\hang\textindent}
  643. \def\itemitem{\par\indent \hangindent2\parindent \textindent}
  644. \def\narrower{\advance\leftskip\parindent
  645.   \advance\rightskip\parindent}
  646.  
  647. % LaTeX has its own sectioning macros
  648. %\outer\def\beginsection#1\par{\filbreak\bigskip
  649. %  \message{#1}\leftline{\bf#1}\nobreak\smallskip\vskip-\parskip
  650. %  \noindent}
  651.  
  652. \outer\def\proclaim #1. #2\par{\medbreak
  653.   \noindent{\bf#1.\enspace}{\sl#2}\par
  654.   \ifdim\lastskip<\medskipamount \removelastskip\penalty55\medskip\fi}
  655.  
  656. \def\raggedright{\rightskip\z@ plus2em \spaceskip.3333em \xspaceskip.5em }
  657. \def\ttraggedright{\tt\rightskip\z@ plus2em } % for use with \tt only
  658.  
  659. \chardef\%=`\%
  660. \chardef\&=`\&
  661. \chardef\#=`\#
  662. \chardef\$=`\$
  663. \chardef\ss="19
  664. \chardef\ae="1A
  665. \chardef\oe="1B
  666. \chardef\o="1C
  667. \chardef\AE="1D
  668. \chardef\OE="1E
  669. \chardef\O="1F
  670. \chardef\i="10 \chardef\j="11 % dotless letters
  671. \def\aa{\accent23a}
  672. \def\l{\char32l}
  673. \def\L{\leavevmode\setbox0\hbox{L}\hbox to\wd0{\hss\char32L}}
  674.  
  675. \def\leavevmode{\unhbox\voidb@x} % begins a paragraph, if necessary
  676. \def\_{\leavevmode \kern.06em \vbox{\hrule width.3em}}
  677. \def\AA{\leavevmode\setbox0\hbox{h}\dimen@\ht0\advance\dimen@-1ex%
  678.   \rlap{\raise.67\dimen@\hbox{\char'27}}A}
  679.  
  680. \def\mathhexbox#1#2#3{\leavevmode
  681.   \hbox{$\m@th \mathchar"#1#2#3$}}
  682. \def\dag{\mathhexbox279}
  683. \def\ddag{\mathhexbox27A}
  684. \def\S{\mathhexbox278}
  685. \def\P{\mathhexbox27B}
  686.  
  687. \def\oalign#1{\leavevmode\vtop{\baselineskip\z@skip \lineskip.25ex%
  688.   \ialign{##\crcr#1\crcr}}} % put characters over each other
  689. \def\ooalign{\lineskiplimit-\maxdimen \oalign}
  690.  
  691. % LaTeX change: \d, \b, \c redefined to work in a moving argument.
  692. \def\pd#1{\oalign{#1\crcr\hidewidth.\hidewidth}}
  693. \def\d{\protect\pd}
  694.  
  695. \def\pb#1{\oalign{#1\crcr\hidewidth
  696.     \vbox to.2ex{\hbox{\char22}\vss}\hidewidth}}
  697. \def\b{\protect\pb}
  698.  
  699. \def\pc#1{\setbox\z@\hbox{#1}\ifdim\ht\z@=1ex\accent24 #1%
  700.   \else{\ooalign{\hidewidth\char24\hidewidth\crcr\unhbox\z@}}\fi}
  701. \def\c{\protect\pc}
  702. % end of LaTeX change to \d, \b, \c 
  703.  
  704. \def\copyright{{\ooalign{\hfil\raise.07ex\hbox{c}\hfil\crcr\mathhexbox20D}}}
  705.  
  706. % LaTeX change: \ldots is redefined to do essentially what Plain's \dots does,
  707. % so ...
  708. \def\dots{\ldots}
  709.  
  710. \def\TeX{T\kern-.1667em\lower.5ex\hbox{E}\kern-.125emX}
  711.  
  712. \def\`#1{{\accent18 #1}}
  713. \def\'#1{{\accent19 #1}}
  714. \def\v#1{{\accent20 #1}} \let\^^_=\v
  715. \def\u#1{{\accent21 #1}} \let\^^S=\u
  716. \def\=#1{{\accent22 #1}}
  717. \def\^#1{{\accent94 #1}} \let\^^D=\^
  718. \def\.#1{{\accent95 #1}}
  719. \def\H#1{{\accent"7D #1}}
  720. \def\~#1{{\accent"7E #1}}
  721. \def\"#1{{\accent"7F #1}}
  722.  
  723. % LaTeX change: Make \t work in a moving argument.
  724. \def\pt#1{{\edef\next{\the\font}\the\textfont1\accent"7F\next#1}}
  725. \def\t{\protect\pt}
  726.  
  727. \def\hrulefill{\leaders\hrule\hfill}
  728. \def\dotfill{\cleaders\hbox{$\m@th \mkern1.5mu.\mkern1.5mu$}\hfill}
  729. \def\rightarrowfill{$\m@th\mathord-\mkern-6mu%
  730.   \cleaders\hbox{$\mkern-2mu\mathord-\mkern-2mu$}\hfill
  731.   \mkern-6mu\mathord\rightarrow$}
  732. \def\leftarrowfill{$\m@th\mathord\leftarrow\mkern-6mu%
  733.   \cleaders\hbox{$\mkern-2mu\mathord-\mkern-2mu$}\hfill
  734.   \mkern-6mu\mathord-$}
  735. \mathchardef\braceld="37A \mathchardef\bracerd="37B
  736. \mathchardef\bracelu="37C \mathchardef\braceru="37D
  737. \def\downbracefill{$\m@th\braceld\leaders\vrule\hfill\braceru
  738.   \bracelu\leaders\vrule\hfill\bracerd$}
  739. \def\upbracefill{$\m@th\bracelu\leaders\vrule\hfill\bracerd
  740.   \braceld\leaders\vrule\hfill\braceru$}
  741.  
  742. % LaTeX change: \bye is eliminated.
  743. %\outer\def\bye{\par\vfill\supereject\end}
  744.  
  745. % Macros for math setting
  746. \message{math definitions,}
  747.  
  748. \let\sp=^ \let\sb=_
  749. \def\,{\mskip\thinmuskip}
  750. \def\>{\mskip\medmuskip}
  751. \def\;{\mskip\thickmuskip}
  752. \def\!{\mskip-\thinmuskip}
  753. \def\*{\discretionary{\thinspace\the\textfont2\char2}{}{}}
  754. {\catcode`\'=\active \gdef'{^\bgroup\prim@s}}
  755. \def\prim@s{\prime\futurelet\next\pr@m@s}
  756. \def\pr@m@s{\ifx'\next\let\next\pr@@@s \else\ifx^\next\let\next\pr@@@t
  757.   \else\let\next\egroup\fi\fi \next}
  758. \def\pr@@@s#1{\prim@s} \def\pr@@@t#1#2{#2\egroup}
  759. {\catcode`\^^Z=\active \gdef^^Z{\not=}} % ^^Z is like \ne in math
  760.  
  761. % LaTeX change: the `\global' in the following command was
  762. % inadvertently omitted by DEK 
  763. {\catcode`\_=\active \global\let_=\_} % _ is like \_ if not used for subscripts
  764.  
  765. \mathchardef\alpha="010B
  766. \mathchardef\beta="010C
  767. \mathchardef\gamma="010D
  768. \mathchardef\delta="010E
  769. \mathchardef\epsilon="010F
  770. \mathchardef\zeta="0110
  771. \mathchardef\eta="0111
  772. \mathchardef\theta="0112
  773. \mathchardef\iota="0113
  774. \mathchardef\kappa="0114
  775. \mathchardef\lambda="0115
  776. \mathchardef\mu="0116
  777. \mathchardef\nu="0117
  778. \mathchardef\xi="0118
  779. \mathchardef\pi="0119
  780. \mathchardef\rho="011A
  781. \mathchardef\sigma="011B
  782. \mathchardef\tau="011C
  783. \mathchardef\upsilon="011D
  784. \mathchardef\phi="011E
  785. \mathchardef\chi="011F
  786. \mathchardef\psi="0120
  787. \mathchardef\omega="0121
  788. \mathchardef\varepsilon="0122
  789. \mathchardef\vartheta="0123
  790. \mathchardef\varpi="0124
  791. \mathchardef\varrho="0125
  792. \mathchardef\varsigma="0126
  793. \mathchardef\varphi="0127
  794. \mathchardef\Gamma="7000
  795. \mathchardef\Delta="7001
  796. \mathchardef\Theta="7002
  797. \mathchardef\Lambda="7003
  798. \mathchardef\Xi="7004
  799. \mathchardef\Pi="7005
  800. \mathchardef\Sigma="7006
  801. \mathchardef\Upsilon="7007
  802. \mathchardef\Phi="7008
  803. \mathchardef\Psi="7009
  804. \mathchardef\Omega="700A
  805.  
  806. \mathchardef\aleph="0240
  807. \def\hbar{{\mathchar'26\mkern-9muh}}
  808. \mathchardef\imath="017B
  809. \mathchardef\jmath="017C
  810. \mathchardef\ell="0160
  811. \mathchardef\wp="017D
  812. \mathchardef\Re="023C
  813. \mathchardef\Im="023D
  814. \mathchardef\partial="0140
  815. \mathchardef\infty="0231
  816. \mathchardef\prime="0230
  817. \mathchardef\emptyset="023B
  818. \mathchardef\nabla="0272
  819. \def\surd{{\mathchar"1270}}
  820. \mathchardef\top="023E
  821. \mathchardef\bot="023F
  822. \def\angle{{\vbox{\ialign{$\m@th\scriptstyle##$\crcr
  823.       \not\mathrel{\mkern14mu}\crcr
  824.       \noalign{\nointerlineskip}
  825.       \mkern2.5mu\leaders\hrule height.34pt\hfill\mkern2.5mu\crcr}}}}
  826. \mathchardef\triangle="0234
  827. \mathchardef\forall="0238
  828. \mathchardef\exists="0239
  829. \mathchardef\neg="023A \let\lnot=\neg
  830. \mathchardef\flat="015B
  831. \mathchardef\natural="015C
  832. \mathchardef\sharp="015D
  833. \mathchardef\clubsuit="027C
  834. \mathchardef\diamondsuit="027D
  835. \mathchardef\heartsuit="027E
  836. \mathchardef\spadesuit="027F
  837.  
  838. \mathchardef\coprod="1360
  839. \mathchardef\bigvee="1357
  840. \mathchardef\bigwedge="1356
  841. \mathchardef\biguplus="1355
  842. \mathchardef\bigcap="1354
  843. \mathchardef\bigcup="1353
  844. \mathchardef\intop="1352 \def\int{\intop\nolimits}
  845. \mathchardef\prod="1351
  846. \mathchardef\sum="1350
  847. \mathchardef\bigotimes="134E
  848. \mathchardef\bigoplus="134C
  849. \mathchardef\bigodot="134A
  850. \mathchardef\ointop="1348 \def\oint{\ointop\nolimits}
  851. \mathchardef\bigsqcup="1346
  852. \mathchardef\smallint="1273
  853.  
  854. \mathchardef\triangleleft="212F
  855. \mathchardef\triangleright="212E
  856. \mathchardef\bigtriangleup="2234
  857. \mathchardef\bigtriangledown="2235
  858. \mathchardef\wedge="225E \let\land=\wedge
  859. \mathchardef\vee="225F \let\lor=\vee
  860. \mathchardef\cap="225C
  861. \mathchardef\cup="225B
  862. \mathchardef\ddagger="227A
  863. \mathchardef\dagger="2279
  864. \mathchardef\sqcap="2275
  865. \mathchardef\sqcup="2274
  866. \mathchardef\uplus="225D
  867. \mathchardef\amalg="2271
  868. \mathchardef\diamond="2205
  869. \mathchardef\bullet="220F
  870. \mathchardef\wr="226F
  871. \mathchardef\div="2204
  872. \mathchardef\odot="220C
  873. \mathchardef\oslash="220B
  874. \mathchardef\otimes="220A
  875. \mathchardef\ominus="2209
  876. \mathchardef\oplus="2208
  877. \mathchardef\mp="2207
  878. \mathchardef\pm="2206
  879. \mathchardef\circ="220E
  880. \mathchardef\bigcirc="220D
  881. \mathchardef\setminus="226E % for set difference A\setminus B
  882. \mathchardef\cdot="2201
  883. \mathchardef\ast="2203
  884. \mathchardef\times="2202
  885. \mathchardef\star="213F
  886.  
  887. \mathchardef\propto="322F
  888. \mathchardef\sqsubseteq="3276
  889. \mathchardef\sqsupseteq="3277
  890. \mathchardef\parallel="326B
  891. \mathchardef\mid="326A
  892. \mathchardef\dashv="3261
  893. \mathchardef\vdash="3260
  894. \mathchardef\nearrow="3225
  895. \mathchardef\searrow="3226
  896. \mathchardef\nwarrow="322D
  897. \mathchardef\swarrow="322E
  898. \mathchardef\Leftrightarrow="322C
  899. \mathchardef\Leftarrow="3228
  900. \mathchardef\Rightarrow="3229
  901. \def\neq{\not=} \let\ne=\neq
  902. \mathchardef\leq="3214 \let\le=\leq
  903. \mathchardef\geq="3215 \let\ge=\geq
  904. \mathchardef\succ="321F
  905. \mathchardef\prec="321E
  906. \mathchardef\approx="3219
  907. \mathchardef\succeq="3217
  908. \mathchardef\preceq="3216
  909. \mathchardef\supset="321B
  910. \mathchardef\subset="321A
  911. \mathchardef\supseteq="3213
  912. \mathchardef\subseteq="3212
  913. \mathchardef\in="3232
  914. \mathchardef\ni="3233 \let\owns=\ni
  915. \mathchardef\gg="321D
  916. \mathchardef\ll="321C
  917. \mathchardef\not="3236
  918. \mathchardef\leftrightarrow="3224
  919. \mathchardef\leftarrow="3220 \let\gets=\leftarrow
  920. \mathchardef\rightarrow="3221 \let\to=\rightarrow
  921. \mathchardef\mapstochar="3237 \def\mapsto{\mapstochar\rightarrow}
  922. \mathchardef\sim="3218
  923. \mathchardef\simeq="3227
  924. \mathchardef\perp="323F
  925. \mathchardef\equiv="3211
  926. \mathchardef\asymp="3210
  927. \mathchardef\smile="315E
  928. \mathchardef\frown="315F
  929. \mathchardef\leftharpoonup="3128
  930. \mathchardef\leftharpoondown="3129
  931. \mathchardef\rightharpoonup="312A
  932. \mathchardef\rightharpoondown="312B
  933.  
  934. \def\joinrel{\mathrel{\mkern-3mu}}
  935. \def\relbar{\mathrel{\smash-}} % \smash, because - has the same height as +
  936. \def\Relbar{\mathrel=}
  937. \mathchardef\lhook="312C \def\hookrightarrow{\lhook\joinrel\rightarrow}
  938. \mathchardef\rhook="312D \def\hookleftarrow{\leftarrow\joinrel\rhook}
  939. \def\bowtie{\mathrel\triangleright\joinrel\mathrel\triangleleft}
  940. \def\models{\mathrel|\joinrel=}
  941. \def\Longrightarrow{\Relbar\joinrel\Rightarrow}
  942.  
  943. % LaTeX Change: \longrightarrow and \longleftarrow redefined to make
  944. %   then robust.
  945. \def\longrightarrow{\protect\@lra}
  946.   \def\@lra{\relbar\joinrel\rightarrow}
  947. \def\longleftarrow{\protect\@lla}
  948.    \def\@lla{\leftarrow\joinrel\relbar}
  949. % End of LaTeX change to \longrightarrow and \longleftarrow 
  950.  
  951. \def\Longleftarrow{\Leftarrow\joinrel\Relbar}
  952. \def\longmapsto{\mapstochar\longrightarrow}
  953. \def\longleftrightarrow{\leftarrow\joinrel\rightarrow}
  954. \def\Longleftrightarrow{\Leftarrow\joinrel\Rightarrow}
  955. \def\iff{\;\Longleftrightarrow\;}
  956.  
  957. \mathchardef\ldotp="602E % ldot as a punctuation mark
  958. \mathchardef\cdotp="6201 % cdot as a punctuation mark
  959. \mathchardef\colon="603A % colon as a punctuation mark
  960.  
  961. % LaTeX change: make \ldots work outside math mode too.
  962. \def\@ldots{\mathinner{\ldotp\ldotp\ldotp}}
  963. \def\ldots{\protect\pldots}
  964. \def\pldots{\relax\ifmmode\@ldots\else\mbox{$\@ldots\,$}\fi}
  965. % End of LaTeX change to \ldots
  966.  
  967. \def\cdots{\mathinner{\cdotp\cdotp\cdotp}}
  968. \def\vdots{\vbox{\baselineskip4\p@ \lineskiplimit\z@
  969.     \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
  970. \def\ddots{\mathinner{\mkern1mu\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern2mu
  971.     \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu}}
  972.  
  973. \def\acute{\mathaccent"7013 }
  974. \def\grave{\mathaccent"7012 }
  975. \def\ddot{\mathaccent"707F }
  976. \def\tilde{\mathaccent"707E }
  977. \def\bar{\mathaccent"7016 }
  978. \def\breve{\mathaccent"7015 }
  979. \def\check{\mathaccent"7014 }
  980. \def\hat{\mathaccent"705E }
  981. \def\vec{\mathaccent"017E }
  982. \def\dot{\mathaccent"705F }
  983. \def\widetilde{\mathaccent"0365 }
  984. \def\widehat{\mathaccent"0362 }
  985. \def\overrightarrow#1{\vbox{\ialign{##\crcr
  986.       \rightarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
  987.       $\hfil\displaystyle{#1}\hfil$\crcr}}}
  988. \def\overleftarrow#1{\vbox{\ialign{##\crcr
  989.       \leftarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
  990.       $\hfil\displaystyle{#1}\hfil$\crcr}}}
  991. \def\overbrace#1{\mathop{\vbox{\ialign{##\crcr\noalign{\kern3\p@}
  992.       \downbracefill\crcr\noalign{\kern3\p@\nointerlineskip}
  993.       $\hfil\displaystyle{#1}\hfil$\crcr}}}\limits}
  994. \def\underbrace#1{\mathop{\vtop{\ialign{##\crcr
  995.       $\hfil\displaystyle{#1}\hfil$\crcr\noalign{\kern3\p@\nointerlineskip}
  996.       \upbracefill\crcr\noalign{\kern3\p@}}}}\limits}
  997. \def\skew#1#2#3{{#2{#3\mkern#1mu}\mkern-#1mu}{}}
  998.  
  999. \def\lmoustache{\delimiter"4000340 } % top from (, bottom from )
  1000. \def\rmoustache{\delimiter"5000341 } % top from ), bottom from (
  1001. \def\lgroup{\delimiter"400033A } % extensible ( with sharper tips
  1002. \def\rgroup{\delimiter"500033B } % extensible ) with sharper tips
  1003. \def\arrowvert{\delimiter"33C } % arrow without arrowheads
  1004. \def\Arrowvert{\delimiter"33D } % double arrow without arrowheads
  1005. \def\bracevert{\delimiter"33E } % the vertical bar that extends braces
  1006. \def\Vert{\delimiter"26B30D } \let\|=\Vert
  1007. \def\vert{\delimiter"26A30C }
  1008. \def\uparrow{\delimiter"3222378 }
  1009. \def\downarrow{\delimiter"3223379 }
  1010. \def\updownarrow{\delimiter"326C33F }
  1011. \def\Uparrow{\delimiter"322A37E }
  1012. \def\Downarrow{\delimiter"322B37F }
  1013. \def\Updownarrow{\delimiter"326D377 }
  1014. \def\backslash{\delimiter"26E30F } % for double coset G\backslash H
  1015. \def\rangle{\delimiter"526930B }
  1016. \def\langle{\delimiter"426830A }
  1017. \def\rbrace{\delimiter"5267309 } \let\}=\rbrace
  1018. \def\lbrace{\delimiter"4266308 } \let\{=\lbrace
  1019. \def\rceil{\delimiter"5265307 }
  1020. \def\lceil{\delimiter"4264306 }
  1021. \def\rfloor{\delimiter"5263305 }
  1022. \def\lfloor{\delimiter"4262304 }
  1023.  
  1024. \def\bigl{\mathopen\big}
  1025. \def\bigm{\mathrel\big}
  1026. \def\bigr{\mathclose\big}
  1027. \def\Bigl{\mathopen\Big}
  1028. \def\Bigm{\mathrel\Big}
  1029. \def\Bigr{\mathclose\Big}
  1030. \def\biggl{\mathopen\bigg}
  1031. \def\biggm{\mathrel\bigg}
  1032. \def\biggr{\mathclose\bigg}
  1033. \def\Biggl{\mathopen\Bigg}
  1034. \def\Biggm{\mathrel\Bigg}
  1035. \def\Biggr{\mathclose\Bigg}
  1036. \def\big#1{{\hbox{$\left#1\vbox to8.5\p@{}\right.\n@space$}}}
  1037. \def\Big#1{{\hbox{$\left#1\vbox to11.5\p@{}\right.\n@space$}}}
  1038. \def\bigg#1{{\hbox{$\left#1\vbox to14.5\p@{}\right.\n@space$}}}
  1039. \def\Bigg#1{{\hbox{$\left#1\vbox to17.5\p@{}\right.\n@space$}}}
  1040. \def\n@space{\nulldelimiterspace\z@ \m@th}
  1041.  
  1042. \def\choose{\atopwithdelims()}
  1043. \def\brack{\atopwithdelims[]}
  1044. \def\brace{\atopwithdelims\{\}}
  1045.  
  1046. \def\sqrt{\radical"270370 }
  1047.  
  1048. \def\mathpalette#1#2{\mathchoice{#1\displaystyle{#2}}%
  1049.   {#1\textstyle{#2}}{#1\scriptstyle{#2}}{#1\scriptscriptstyle{#2}}}
  1050. \newbox\rootbox
  1051. \def\root#1\of{\setbox\rootbox\hbox{$\m@th\scriptscriptstyle{#1}$}
  1052.   \mathpalette\r@@t}
  1053. \def\r@@t#1#2{\setbox\z@\hbox{$\m@th#1\sqrt{#2}$}
  1054.   \dimen@\ht\z@ \advance\dimen@-\dp\z@
  1055.   \mkern5mu\raise.6\dimen@\copy\rootbox \mkern-10mu \box\z@}
  1056. \newif\ifv@ \newif\ifh@
  1057. \def\vphantom{\v@true\h@false\ph@nt}
  1058. \def\hphantom{\v@false\h@true\ph@nt}
  1059. \def\phantom{\v@true\h@true\ph@nt}
  1060. \def\ph@nt{\ifmmode\def\next{\mathpalette\mathph@nt}%
  1061.   \else\let\next\makeph@nt\fi\next}
  1062. \def\makeph@nt#1{\setbox\z@\hbox{#1}\finph@nt}
  1063. \def\mathph@nt#1#2{\setbox\z@\hbox{$\m@th#1{#2}$}\finph@nt}
  1064. \def\finph@nt{\setbox\tw@\null
  1065.   \ifv@ \ht\tw@\ht\z@ \dp\tw@\dp\z@\fi
  1066.   \ifh@ \wd\tw@\wd\z@\fi \box\tw@}
  1067. \def\mathstrut{\vphantom(}
  1068. \def\smash{\relax % \relax, in case this comes first in \halign
  1069.   \ifmmode\def\next{\mathpalette\mathsm@sh}\else\let\next\makesm@sh
  1070.   \fi\next}
  1071. \def\makesm@sh#1{\setbox\z@\hbox{#1}\finsm@sh}
  1072. \def\mathsm@sh#1#2{\setbox\z@\hbox{$\m@th#1{#2}$}\finsm@sh}
  1073. \def\finsm@sh{\ht\z@\z@ \dp\z@\z@ \box\z@}
  1074.  
  1075. \def\cong{\mathrel{\mathpalette\@vereq\sim}} % congruence sign
  1076. \def\@vereq#1#2{\lower.5\p@\vbox{\baselineskip\z@skip\lineskip-.5\p@
  1077.     \ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
  1078. \def\notin{\mathrel{\mathpalette\c@ncel\in}}
  1079. \def\c@ncel#1#2{\ooalign{$\hfil#1\mkern1mu/\hfil$\crcr$#1#2$}}
  1080. \def\rightleftharpoons{\mathrel{\mathpalette\rlh@{}}}
  1081. \def\rlh@#1{\vcenter{\hbox{\ooalign{\raise2pt
  1082.           \hbox{$#1\rightharpoonup$}\crcr
  1083.         $#1\leftharpoondown$}}}}
  1084. \def\buildrel#1\over#2{\mathrel{\mathop{\kern\z@#2}\limits^{#1}}}
  1085. \def\doteq{\buildrel\textstyle.\over=}
  1086.  
  1087. \def\log{\mathop{\rm log}\nolimits}
  1088. \def\lg{\mathop{\rm lg}\nolimits}
  1089. \def\ln{\mathop{\rm ln}\nolimits}
  1090. \def\lim{\mathop{\rm lim}}
  1091. \def\limsup{\mathop{\rm lim\,sup}}
  1092. \def\liminf{\mathop{\rm lim\,inf}}
  1093. \def\sin{\mathop{\rm sin}\nolimits}
  1094. \def\arcsin{\mathop{\rm arcsin}\nolimits}
  1095. \def\sinh{\mathop{\rm sinh}\nolimits}
  1096. \def\cos{\mathop{\rm cos}\nolimits}
  1097. \def\arccos{\mathop{\rm arccos}\nolimits}
  1098. \def\cosh{\mathop{\rm cosh}\nolimits}
  1099. \def\tan{\mathop{\rm tan}\nolimits}
  1100. \def\arctan{\mathop{\rm arctan}\nolimits}
  1101. \def\tanh{\mathop{\rm tanh}\nolimits}
  1102. \def\cot{\mathop{\rm cot}\nolimits}
  1103. \def\coth{\mathop{\rm coth}\nolimits}
  1104. \def\sec{\mathop{\rm sec}\nolimits}
  1105. \def\csc{\mathop{\rm csc}\nolimits}
  1106. \def\max{\mathop{\rm max}}
  1107. \def\min{\mathop{\rm min}}
  1108. \def\sup{\mathop{\rm sup}}
  1109. \def\inf{\mathop{\rm inf}}
  1110. \def\arg{\mathop{\rm arg}\nolimits}
  1111. \def\ker{\mathop{\rm ker}\nolimits}
  1112. \def\dim{\mathop{\rm dim}\nolimits}
  1113. \def\hom{\mathop{\rm hom}\nolimits}
  1114. \def\det{\mathop{\rm det}}
  1115. \def\exp{\mathop{\rm exp}\nolimits}
  1116. \def\Pr{\mathop{\rm Pr}}
  1117. \def\gcd{\mathop{\rm gcd}}
  1118. \def\deg{\mathop{\rm deg}\nolimits}
  1119.  
  1120. \def\bmod{\mskip-\medmuskip\mkern5mu
  1121.   \mathbin{\rm mod}\penalty900\mkern5mu\mskip-\medmuskip}
  1122. \def\pmod#1{\allowbreak\mkern18mu({\rm mod}\,\,#1)}
  1123.  
  1124. \def\cases#1{\left\{\,\vcenter{\normalbaselines\m@th
  1125.     \ialign{$##\hfil$&\quad##\hfil\crcr#1\crcr}}\right.}
  1126. \def\matrix#1{\null\,\vcenter{\normalbaselines\m@th
  1127.     \ialign{\hfil$##$\hfil&&\quad\hfil$##$\hfil\crcr
  1128.       \mathstrut\crcr\noalign{\kern-\baselineskip}
  1129.       #1\crcr\mathstrut\crcr\noalign{\kern-\baselineskip}}}\,}
  1130. \def\pmatrix#1{\left(\matrix{#1}\right)}
  1131. \newdimen\p@renwd
  1132.  
  1133. % LaTeX: following command is moved after the \tenex font is defined
  1134. %  by LFONTS
  1135. %\setbox0=\hbox{\tenex B} \p@renwd=\wd0 % width of the big left (
  1136.  
  1137. \def\bordermatrix#1{\begingroup \m@th
  1138.   \setbox\z@\vbox{\def\cr{\crcr\noalign{\kern2\p@\global\let\cr\endline}}%
  1139.     \ialign{$##$\hfil\kern2\p@\kern\p@renwd&\thinspace\hfil$##$\hfil
  1140.       &&\quad\hfil$##$\hfil\crcr
  1141.       \omit\strut\hfil\crcr\noalign{\kern-\baselineskip}%
  1142.       #1\crcr\omit\strut\cr}}%
  1143.   \setbox\tw@\vbox{\unvcopy\z@\global\setbox\@ne\lastbox}%
  1144.   \setbox\tw@\hbox{\unhbox\@ne\unskip\global\setbox\@ne\lastbox}%
  1145.   \setbox\tw@\hbox{$\kern\wd\@ne\kern-\p@renwd\left(\kern-\wd\@ne
  1146.     \global\setbox\@ne\vbox{\box\@ne\kern2\p@}%
  1147.     \vcenter{\kern-\ht\@ne\unvbox\z@\kern-\baselineskip}\,\right)$}%
  1148.   \null\;\vbox{\kern\ht\@ne\box\tw@}\endgroup}
  1149.  
  1150. \def\openup{\afterassignment\@penup\dimen@=}
  1151. \def\@penup{\advance\lineskip\dimen@
  1152.   \advance\baselineskip\dimen@
  1153.   \advance\lineskiplimit\dimen@}
  1154.  
  1155. % LaTeX change: \eqalign eliminated, since it is replaced by the
  1156. % eqnarray environment.
  1157. %
  1158. %\def\eqalign#1{\null\,\vcenter{\openup\jot\m@th
  1159. %  \ialign{\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil
  1160. %      \crcr#1\crcr}}\,}
  1161.  
  1162. \newif\ifdt@p
  1163. \def\displ@y{\global\dt@ptrue\openup\jot\m@th
  1164.   \everycr{\noalign{\ifdt@p \global\dt@pfalse
  1165.       \vskip-\lineskiplimit \vskip\normallineskiplimit
  1166.       \else \penalty\interdisplaylinepenalty \fi}}}
  1167. \def\@lign{\tabskip\z@skip\everycr{}} % restore inside \displ@y
  1168. \def\displaylines#1{\displ@y
  1169.   \halign{\hbox to\displaywidth{$\@lign\hfil\displaystyle##\hfil$}\crcr
  1170.     #1\crcr}}
  1171.  
  1172. % LaTeX: The following \eqalign type macros are eliminated, since
  1173. % they are replaced by the eqnarray environment.
  1174. %
  1175. %\def\eqalignno#1{\displ@y \tabskip\centering
  1176. %  \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
  1177. %    &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
  1178. %    &\llap{$\@lign##$}\tabskip\z@skip\crcr
  1179. %    #1\crcr}}
  1180. %\def\leqalignno#1{\displ@y \tabskip\centering
  1181. %  \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
  1182. %    &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
  1183. %    &\kern-\displaywidth\rlap{$\@lign##$}\tabskip\displaywidth\crcr
  1184. %    #1\crcr}}
  1185.  
  1186. % Definitions related to output
  1187.  
  1188. % LaTeX uses its own output routine
  1189. %
  1190. %\message{output routines,}
  1191. %
  1192. %\countdef\pageno=0 \pageno=1 % first page is number 1
  1193. %\newtoks\headline \headline={\hfil} % headline is normally blank
  1194. %\newtoks\footline \footline={\hss\tenrm\folio\hss}
  1195. %  % footline is normally a centered page number in font \tenrm
  1196. %\newif\ifr@ggedbottom
  1197. %\def\raggedbottom{\topskip 10\p@ plus60\p@ \r@ggedbottomtrue}
  1198. %\def\normalbottom{\topskip 10\p@ \r@ggedbottomfalse} % undoes \raggedbottom
  1199. %\def\folio{\ifnum\pageno<\z@ \romannumeral-\pageno \else\number\pageno \fi}
  1200. %\def\nopagenumbers{\footline{\hfil}} % blank out the footline
  1201. %\def\advancepageno{\ifnum\pageno<\z@ \global\advance\pageno\m@ne
  1202. %  \else\global\advance\pageno\@ne \fi} % increase |pageno|
  1203.  
  1204. % LaTeX does use the same insert for footnotes as PLAIN
  1205. \newinsert\footins
  1206.  
  1207. %\def\footnote#1{\let\@sf\empty % parameter #2 (the text) is read later
  1208. %  \ifhmode\edef\@sf{\spacefactor\the\spacefactor}\/\fi
  1209. %  #1\@sf\vfootnote{#1}}
  1210. %\def\vfootnote#1{\insert\footins\bgroup
  1211. %  \interlinepenalty\interfootnotelinepenalty
  1212. %  \splittopskip\ht\strutbox % top baseline for broken footnotes
  1213. %  \splitmaxdepth\dp\strutbox \floatingpenalty\@MM
  1214. %  \leftskip\z@skip \rightskip\z@skip \spaceskip\z@skip \xspaceskip\z@skip
  1215. %  \textindent{#1}\footstrut\futurelet\next\fo@t}
  1216. %\def\fo@t{\ifcat\bgroup\noexpand\next \let\next\f@@t
  1217. %  \else\let\next\f@t\fi \next}
  1218. %\def\f@@t{\bgroup\aftergroup\@foot\let\next}
  1219. %\def\f@t#1{#1\@foot}
  1220. %\def\@foot{\strut\egroup}
  1221. %\def\footstrut{\vbox to\splittopskip{}}
  1222.  
  1223. % LaTeX leaves these initializations for the \footins insert.
  1224. %
  1225. \skip\footins=\bigskipamount % space added when footnote is present
  1226. \count\footins=1000 % footnote magnification factor (1 to 1)
  1227. \dimen\footins=8in % maximum footnotes per page
  1228.  
  1229. %\newinsert\topins
  1230. %\newif\ifp@ge \newif\if@mid
  1231. %\def\topinsert{\@midfalse\p@gefalse\@ins}
  1232. %\def\midinsert{\@midtrue\@ins}
  1233. %\def\pageinsert{\@midfalse\p@getrue\@ins}
  1234. %\skip\topins=\z@skip % no space added when a topinsert is present
  1235. %\count\topins=1000 % magnification factor (1 to 1)
  1236. %\dimen\topins=\maxdimen % no limit per page
  1237. %\def\@ins{\par\begingroup\setbox\z@\vbox\bgroup} % start a \vbox
  1238. %\def\endinsert{\egroup % finish the \vbox
  1239. %  \if@mid \dimen@\ht\z@ \advance\dimen@\dp\z@
  1240. %    \advance\dimen@12\p@ \advance\dimen@\pagetotal
  1241. %    \ifdim\dimen@>\pagegoal\@midfalse\p@gefalse\fi\fi
  1242. %  \if@mid \bigskip\box\z@\bigbreak
  1243. %  \else\insert\topins{\penalty100 % floating insertion
  1244. %    \splittopskip\z@skip
  1245. %    \splitmaxdepth\maxdimen \floatingpenalty\z@
  1246. %    \ifp@ge \dimen@\dp\z@
  1247. %    \vbox to\vsize{\unvbox\z@\kern-\dimen@}% depth is zero
  1248. %    \else \box\z@\nobreak\bigskip\fi}\fi\endgroup}
  1249.  
  1250. %\output{\plainoutput}
  1251. %\def\plainoutput{\shipout\vbox{\makeheadline\pagebody\makefootline}%
  1252. %  \advancepageno
  1253. %  \ifnum\outputpenalty>-\@MM \else\dosupereject\fi}
  1254. %\def\pagebody{\vbox to\vsize{\boxmaxdepth\maxdepth \pagecontents}}
  1255. %\def\makeheadline{\vbox to\z@{\vskip-22.5\p@
  1256. %  \line{\vbox to8.5\p@{}\the\headline}\vss}\nointerlineskip}
  1257. %\def\makefootline{\baselineskip24\p@\line{\the\footline}}
  1258. %\def\dosupereject{\ifnum\insertpenalties>\z@ % something is being held over
  1259. %  \line{}\kern-\topskip\nobreak\vfill\supereject\fi}
  1260. %
  1261. %\def\pagecontents{\ifvoid\topins\else\unvbox\topins\fi
  1262. %  \dimen@=\dp\@cclv \unvbox\@cclv % open up \box255
  1263. %  \ifvoid\footins\else % footnote info is present
  1264. %    \vskip\skip\footins
  1265. %    \footnoterule
  1266. %    \unvbox\footins\fi
  1267. %  \ifr@ggedbottom \kern-\dimen@ \vfil \fi}
  1268.  
  1269. % LaTeX keeps PLAIN TeX's \footnoterule as the default
  1270. %
  1271. \def\footnoterule{\kern-3\p@
  1272.   \hrule width 2truein \kern 2.6\p@} % the \hrule is .4pt high
  1273.  
  1274. % Hyphenation, miscellaneous macros, and initial values for standard layout
  1275. \message{hyphenation}
  1276.  
  1277. \input hyphen
  1278.  
  1279. % \magnification doesn't work in LaTeX
  1280. %
  1281. %\def\magnification{\afterassignment\m@g\count@}
  1282. %\def\m@g{\mag\count@
  1283. %  \hsize6.5truein\vsize8.9truein\dimen\footins8truein}
  1284.  
  1285. \def\tracingall{\tracingonline\@ne\tracingcommands\tw@\tracingstats\tw@
  1286.   \tracingpages\@ne\tracingoutput\@ne\tracinglostchars\@ne
  1287.   \tracingmacros\tw@\tracingparagraphs\@ne\tracingrestores\@ne
  1288.   \showboxbreadth\maxdimen\showboxdepth\maxdimen\errorstopmode}
  1289.  
  1290. \def\showhyphens#1{\setbox0\vbox{\parfillskip\z@skip\hsize\maxdimen\tenrm
  1291.   \pretolerance\m@ne\tolerance\m@ne\hbadness0\showboxdepth0\ #1}}
  1292.  
  1293. % input LaTeX fonts and commands
  1294.  
  1295. \input lfonts
  1296. \input latex
  1297.  
  1298. % LaTeX change: moved from above.
  1299. \setbox0=\hbox{\tenex B} \p@renwd=\wd0 % width of the big left (
  1300.  
  1301. % LaTeX: default values
  1302. \normalbaselines
  1303. % LaTeX: select 10pt font size and \rm style
  1304. \xpt
  1305.  
  1306. \nonfrenchspacing % punctuation affects the spacing
  1307. \catcode`@=12 % at signs are no longer letters
  1308.  
  1309. % LaTeX: File called LPLAIN
  1310. % Identify the current format
  1311. \def\fmtname{lplain}\def\fmtversion{2.09-10/29/85} 
  1312.  
  1313. \typeout{Input any local modifications here.}
  1314.